Arising from a graduate course taught to math and engineering students, this text provides a systematic grounding in the theory of Hamiltonian systems, as well as introducing the theory of integrals and reduction. A number of other topics are covered too.

Higher-Order Logic (HOL) is a proof development system intended for applications to both hardware and software. It is principally used in two ways: for directly proving theorems, and as theorem-proving support for application-specific verification systems. HOL is currently being applied to a wide variety of problems, including the specification and verification of critical systems. Introduction to HOL provides a coherent and self-contained description of HOL containing both a tutorial introduction and most of the material that is needed for day-to-day work (...) with the system. After a quick overview that gives a "hands-on feel" for the way HOL is used, there follows a detailed description of the ML language. The logic that HOL supports and how this logic is embedded in ML, are then described in detail. This is followed by an explanation of the theorem-proving infrastructure provided by HOL. Finally two appendices contain a subset of the reference manual, and an overview of the HOL library, including an example of an actual library documentation. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:An Exposition of The Divine Names, The Book of Blessed Dionysius by Thomas AquinasMichael J. Rubin, Elizabeth C. Shaw, and Staff*AQUINAS, Thomas. An Exposition of The Divine Names, The Book of Blessed Dionysius. Translated and edited with an introduction by Michael A. Augros. Merrimack, N.H.: Thomas More College Press, 2021. xxv + 549 pp. Cloth, $65.00The profound influence that Pseudo-Dionysius had on Aquinas’s thought, especially in his (...) metaphysics of participation and his apophatic theology, has been known for some time now, thanks to the excellent work of such scholars as Fran O’Rourke. One would therefore think that Aquinas’s Exposition of the Divine Names (his only commentary on the works of Pseudo-Dionysius) would have been translated a lot sooner. This delay is assuredly due not just to the difficulty of translating this work but also to a certain embarrassment felt by Thomists over Aquinas’s sincere belief that the “Dionysius” who wrote the Divine Names was the Areopagite whose conversion at the teaching of St. Paul is mentioned in the Acts of the Apostles. That the author calling himself “Dionysius” was in fact a theologian writing in the fifth or sixth centuries has been well established by modern scholarship. Hence, Thomists may have felt tempted to discount or at least pass over the influence of this author on Aquinas since it is discomfiting to think that the Church’s greatest theologian accorded such authority to an imposter.Michael Augros tackles these concerns head-on in the excellent introduction to his new translation of the Divine Names commentary. First, Augros points out that in past centuries a pseudonym was usually not an act of forgery but, rather, a way of concealing the author’s identity, which an early Christian theologian might well decide to do either out of humility or out of a desire “to avoid provoking certain prejudices” in those who disagreed with him in contemporary theological disputes. Moreover, it is likely that the work was never intended for the general public (who could easily mistake the pseudonym as genuine) but, rather, was written for those “already initiated in a particular Neoplatonic school of Christian theology,” who would recognize the author as being “one of their own” but without knowing his precise identity. Finally, in taking the particular name of “Dionysius,” the author of the Divine Names was indicating his intention for the work: Just as the biblical Dionysius was a Greek philosopher who converted to Christianity, so the works of Pseudo-Dionysius [End Page 345] are an attempt to reconcile Greek philosophy with the Christian faith.It therefore seems likely, as Augros observes, that Aquinas would still have accorded a great deal of respect to the Divine Names even if he had learned the truth of the author’s identity. The work would not have had the same deuterocanonical authority for him that comes with being written by a direct disciple of St. Paul himself, but “the inherent cogency, coherence, and beauty” of Pseudo-Dionysius’s theology would have been the same. Hence, Pseudo-Dionysius would surely have earned from Aquinas the “docile attitude” appropriate “for a philosopher and theologian of the first order, such as Boethius.”That Aquinas was right to see the author of the Divine Names as a master philosopher and theologian becomes evident when one dives into the text itself, in which Aquinas sees a truly dazzling order, both externally and internally. According to Aquinas, the Divine Names discusses those truths about God of which there are intelligible likenesses in creatures, such as goodness or wisdom, whereas the truths about God of which there are sensible likenesses (for example, “when God is called a lion, or a rock”) are treated by Pseudo-Dionysius in The Symbolic Theology; meanwhile, in the lost or fictional work The Divine Characteristics, Dionysius claims to have treated those truths about God (such as the Trinity) that cannot be known through any likenesses in creatures.Aquinas finds a still more intricate order within the Divine Names itself. Since this work is dedicated to “the divine names by which the processions of God to creatures are manifested,” the plan of the work... (shrink)

The UK launch of the Science Enterprise Challenge in 1999 has stimulated interest in the evolutions of science-based firms and this paper argues that Popper’s seminal diverse contributions to philosophy are directly relevant to them. It begins by commenting on the applications of both Kuhn’s and Popper’s concepts to technological (as against) scientific evolutions. It then suggests how Popper’s approaches are applicable to the development and assessment of new technology within the framework of Freeman’s stakeholders approach. Monsanto’s development of GMOs (...) is used as an illustrative case. (shrink)

Researchers misunderstand their role in creating ethical problems when they allow dogmas to purportedly divorce scientists and scientific practices from the values that they embody. Cortina, Edwards, and Powell help us clarify and further develop our position by responding to our critique of, and alternatives to, this misleading separation. In this rebuttal, we explore how the desire to achieve the separation of facts and values is unscientific on the very terms endorsed by its advocates—this separation is refuted by empirical observation. (...) We show that positivists like Cortina and Edwards offer no rigorous theoretical or empirical justifications to substantiate their claims, let alone critique ours. Following Powell, we point to how classical pragmatism understands ‘purpose’ in scientific pursuits while also providing an alternative to the dogmas of positivism and related philosophical positions. In place of dogmatic, unscientific cries about an abstract and therefore always-unobservable ‘reality,’ we invite all organizational scholars to join us in shifting the discussion about quantitative research towards empirically grounded scientific inquiry. This makes the ethics of actual people and their practices central to quantitative research, including the thoughts, discourses, and behaviors of researchers who are always in particular places doing particular things. We propose that quantitative researchers can thus start to think about their research practices as a kind of work, rather than having the status of a kind of dogma. We conclude with some implications that this has for future research and education, including the relevance of research and research methods. (shrink)

Quantitative researchers often discuss research ethics as if specific ethical problems can be reduced to abstract normative logics (e.g., virtue ethics, utilitarianism, deontology). Such approaches overlook how values are embedded in every aspect of quantitative methods, including ‘observations,’ ‘facts,’ and notions of ‘objectivity.’ We describe how quantitative research practices, concepts, discourses, and their objects/subjects of study have always been value-laden, from the invention of statistics and probability in the 1600s to their subsequent adoption as a logic made to appear as (...) if it exists prior to, and separate from, ethics and values. This logic, which was embraced in the Academy of Management from the 1960s, casts management researchers as ethical agents who ought to know about a reality conceptualized as naturally existing in the image of statistics and probability (replete with ‘constructs’), while overlooking that S&P logic and practices, which researchers made for themselves, have an appreciable role in making the world appear this way. We introduce a different way to conceptualize reality and ethics, wherein the process of scientific inquiry itself requires an examination of its own practices and commitments. Instead of resorting to decontextualized notions of ‘rigor’ and its ‘best practices,’ quantitative researchers can adopt more purposeful ways to reason about the ethics and relevance of their methods and their science. We end by considering implications for addressing ‘post truth’ and ‘alternative facts’ problems as collective concerns, wherein it is actually the pluralistic nature of description that makes defending a collectively valuable version of reality so important and urgent. (shrink)

This paper focuses on the inheritance of human handedness and cerebral lateralization within the more general context of structural biological asymmetries. The morphogenesis of asymmetrical structures, such as the heart in vertebrates, depends upon a complex interaction between information coded in the cytoplasm and in the genes, but the polarity of asymmetry seems to depend on the cytoplasmic rather than the genetic code. Indeed it is extremely difficult to find clear-cut examples in which thedirectionof an asymmetry is under genetic control. (...) As one possible case, there is some evidence that the direction, clockwise or counterclockwise, of rotation of the abdomen in certain mutant strains ofDrosophilais controlled by a particular gene locus, although there appears to be some degree of confusion on this point. By contrast, it is much easier to find examples in which thedegreebut not the direction of asymmetry is under genetic control. For instance, there is a mutant strain of mice in which half of the animals displaysitus inversusof the viscera. The proportion has remained at one half despite many years of inbreeding, suggesting that the mutant allele effectively cancels the normalsitusand allows the asymmetry to be specified in random fashion.Although this account does not deny that the right hemisphere of humans may be the more specialized for certain functions, it does attribute a leading or dominant role to the left hemisphere (at least in most individuals). We suggest that so-called “right-hemisphere” functions are essentially acquired by default, due to the left hemisphere's prior involvement with speech and skilled motor acts; we note, for instance, that these right-hemisphere functions include rather elementary perceptual processes. But perhaps the more critical prediction from our account is that the phenomenon of equipotentiality should be unidirectional: the right (lagging) hemisphere should be more disposed to take over left-hemisphere functions following early lesions than is the left (leading) hemisphere to take over right-hemisphere functions. We note preliminary evidence that this may be so. (shrink)

An Introduction to the Philosophy of Religion provides a broad overview of the topics which are at the forefront of discussion in contemporary philosophy of religion. Prominent views and arguments from both historical and contemporary authors are discussed and analyzed. The book treats all of the central topics in the field, including the coherence of the divine attributes, theistic and atheistic arguments, faith and reason, religion and ethics, miracles, human freedom and divine providence, science and religion, and immortality. In addition (...) it addresses topics of significant importance that similar books often ignore, including the argument for atheism from hiddenness, the coherence of the doctrines of the Trinity and the Incarnation, and the relationship between religion and politics. It will be a valuable accompaniment to undergraduate and introductory graduate-level courses. (shrink)

This article describes some potential uses of Bayesian estimation for time-series and panel data models by incorporating information from prior probabilities in addition to observed data. Drawing on econometrics and other literatures we illustrate the use of informative “shrinkage” or “small variance” priors while extending prior work on the general cross-lagged panel model. Using a panel dataset of national income and subjective well-being we describe three key benefits of these priors. First, they shrink parameter estimates toward zero or toward each (...) other for time-varying parameters, which lends additional support for an income → SWB effect that is not supported with maximum likelihood. This is useful because, second, these priors increase model parsimony and the stability of estimates and thus improve out-of-sample predictions and interpretability, which means estimated effect should also be more trustworthy than under ML. Third, these priors allow estimating otherwise under-identified models under ML, allowing higher-order lagged effects and time-varying parameters that are otherwise impossible to estimate using observed data alone. In conclusion we note some of the responsibilities that come with the use of priors which, departing from typical commentaries on their scientific applications, we describe as involving reflection on how best to apply modeling tools to address matters of worldly concern. (shrink)

When in 2006 the Centers for Disease Control and Prevention issued revised recommendations for HIV testing in health care settings, vocal opponents charged that use of an ?opt-out? approach to presenting HIV testing to patients; the implementation of nontargeted, widespread HIV screening; the elimination of a separate signed consent; and the decoupling of required HIV prevention counseling from HIV testing are unethical. Here we undertake the first systematic ethical examination of the arguments both for and against the recommendations. Our examination (...) reveals that the ethical concerns raised by the critics predominately pertain not to ethically suspect elements of the recommendations themselves, but to suspicions that they will be implemented improperly. It has not been shown that the recommendations cannot be implemented properly. Here we show that in the United States the recommendations are morally justifiable and that safeguards or regulatory oversight may serve to ensure that the recommendations are properly implemented. (shrink)

Harsh blame can be socially destructive. This article examines how harsh blame can be “civilized.” A core construct here is the historicist narrative, which is a story-like account of how a person came to be the sort of person she is. We argue that historicist narratives regarding immoral actors can temper blame and that this happens via a novel mechanism. To illuminate that mechanism, we offer a novel theoretical perspective on lay beliefs about free will. We distinguish 2 senses of (...) free will: (a) Freedom of action, which portrays the will as a dynamic choice-making mechanism and concerns whether the actor can exert volitional control via that mechanism at the time of action, and (b) Control of self-formation, which portrays the will as an enduring disposition (e.g., persistent desire to humiliate) and refers to whether the actor is truly the source of that disposition. Six experiments show that historicist narratives have no effect on perceived freedom of action, but rather temper blame by reducing perceived self-formative control. We also provide evidence against several additional theoretically derived alternative mediators (e.g., intentionality, perceived suffering). Further underlining the need to distinguish free will concepts, we show that biological narratives—unlike historicist narratives—temper blame via reductions in perceived freedom of action. Finally, to illuminate the meaning of “civilized” blame,” we show that historicist narratives specifically reduce the urge to inflict spiteful punishments on offenders, but leave intact the urge to nonviolently guide the offender toward moral improvement. (PsycINFO Database Record (c) 2017 APA, all rights reserved). (shrink)

Argues that although the phenomenon of negative recency in secondary memory is usually attributed to the reduced amount of rehearsal associated with recency items, this phenomenon can be explained by the adoption of a different type of processing for recency items. An experiment with 122 undergraduates is reported in which the recall of recency items was reduced in an immediate test, but increased in a subsequent test, under conditions in which the recency items could not be identified as such during (...) their presentation. Results support the conclusion that the mode of processing items for an immediate free-recall test is normally modified for recency items. ((c) 1997 APA/PsycINFO, all rights reserved). (shrink)

Adherents of the Abrahamic religions have traditionally held that God is morally perfect and unconditionally deserving of devotion, obedience, love, and worship. The Jewish, Christian, and Islamic scriptures tell us that God is compassionate, merciful, and just. As is well-known, however, these same scriptures contain passages that portray God as wrathful, severely punitive, and jealous. Critics furthermore argue that the God of these scriptures commends bigotry, misogyny, and homophobia, condones slavery, and demands the adoption of unjust laws-for example, laws that (...) mandate the death penalty for adultery and rebellion against parents, and laws institutionalizing in various ways the diverse kinds of bigotry and oppression just mentioned. In recent days, these sorts of criticisms of the Hebrew Bible have been raised in new and forceful ways by philosophers, scientists, social commentators, and others. This volume brings together eleven original essays representing the views of both critics and defenders of the character of God as portrayed in these texts. Authors represent the disciplines of philosophy, religion, and Biblical studies. Each essay is accompanied by comments from another author who takes a critical approach to the thesis defended in that essay, along with replies by the essay's author. (shrink)

Are there common mechanisms that apply across different therapies that might explain their effectiveness? Many psychologists, psychotherapists and counsellors, whether clinicians or researchers, now recognize that one such key mechanism involves the transformation of meaning in the process of therapy. The purpose of this book is to show how the transformation of meaning is related to therapeutic change. Change in therapy can and should occur at a number of levels for improvement to be maintained, whether in behavior therapy, cognitive therapy (...) or psychoanalytic therapy. The leading scientists and practitioners who have contributed to this book approach therapy from very different perspectives, but they together help to fashion a common framework for understanding the role of meaning in therapeutic change. (shrink)

Background: In 2006, the Centers for Disease Control and Prevention (CDC) recommended three changes to HIV testing methods in US healthcare settings: (1) an opt-out approach, (2) removal of separate signed consent, and (3) optional HIV prevention counseling. These recommendations led to a public debate about their moral acceptability. Methods: We interviewed 25 members from the fields of US HIV advocacy, care, policy, and research about the ethical merits and demerits of the three changes to HIV testing methods. We performed (...) a qualitative analysis of the participant responses in the interviews and summarized the major themes. Results: In general, arguments in favor of the methods were based upon their ultimate contribution to increasing HIV testing and permitting the consequent benefits of identifying those who are HIV infected and linking them to further care. Conclusions: The prevailing theme of ethical concern focused on suspicions that the methods might not be properly implemented, and that further safeguards might be needed. (shrink)

The pull to coordinate with other individuals is fundamental, serving as the basis for our social connectedness to others. Discussed is a dynamical and ecological perspective to joint action, an approach that embeds the individual’s mind in a body and the body in a niche, a physical and social environment. Research on uninstructed coordination of simple incidental rhythmic movement, along with research on goal‐directed, embodied cooperation, is reviewed. Finally, recent research is discussed that extends the coordination and cooperation studies, examining (...) how synchronizing with another, and how emergent social units of perceiving and acting are reflected in people’s feelings of connection to others. (shrink)

The 2006 Centers for Disease Control and Prevention (CDC) revised recommendations for HIV testing in clinical settings contained seven specific changes to how health care facilities should provide HIV testing. These seven elements have been both supported and challenged in the lay and medical literature. Our first paper in BMC Medical Ethics presented an analysis of the three HIV testing procedural changes included in the recommendations. In this paper, we address the four remaining elements that concern HIV screening policy changes: (...) (1) nontargeted HIV screening, (2) making HIV screening similar to screening for other treatable conditions, (3) increasing HIV screening without assured additional funding for linkage to care, and (4) making patients bear the costs of increased HIV screening in health care settings. (shrink)

This is the first book to address philosophically the moral and political underpinnings of terrorism and anti-terrorism. It brings together authors with different attitudes and original perspectives on attitudes and ethical and practical justifications for terrorism.

A series of papers on different aspects of practical knowledge by Roderick Chisholm, Rudolf Haller, J. C. Nyiri, Eva Picardi, Joachim Schulte Roger Scruton, Barry Smith and Johan Wrede.

We argue that the strengths of the Theory of Event Coding (TEC) can usefully be applied to a wider scope of cognitive tasks, and tested by more diverse methodologies. When allied with a theory of conceptual representation such as Barsalou's (1999a) perceptual symbol systems, and extended to data from eye-movement studies, the TEC has the potential to address the larger goals of an embodied view of cognition.

Evolutionary discussions regarding the relationship between social status and fertility in the contemporary U.S. typically claim that the relationship is either negative or absent entirely. The published data on recent generations of Americans upon which such statements rest, however, are solid with respect to women but sparse and equivocal for men. In the current study, we investigate education and income in relation to age at first child, childlessness, and number of children for men and women in two samples—one of the (...) general American population and one of graduates of an elite American university. We find that increased education is strongly associated with delayed childbearing in both sexes and is also moderately associated with decreased completed or near-completed fertility. Women in the general population with higher adult income have fewer children, but this relationship does not hold within all educational groups, including our sample with elite educations. Higher-income men, however, do not have fewer children in the general population and in fact have lower childlessness rates. Further, higher income in men is positively associated with fertility among our sample with elite educations as well as within the general population among those with college educations. Such findings undermine simple statements on the relationship between status and fertility. (shrink)

ABSTRACT There is limited guidance about whether and how to provide psychological assessment results to research participants. This paper considers several ethical challenges associated with offering individual research results in psychological assessment research. Additionally, the process used to return individual results within a study examining neurodevelopmental effects of anesthesia exposure in children and adolescents is described. Almost all participants requested to know if results were concerning; however, only around a third of those with concerning findings sought additional feedback. Ongoing research (...) and guidance are necessary to establish evidence-based practices and manage challenges that may emerge when disclosing such results. (shrink)

Property-identical divine-command theory (PDCT) is the view that being obligatory is identical to being commanded by God in just the way that being water is identical to being H2O. If these identity statements are true, then they express necessary a posteriori truths. PDCT has been defended in Robert M. Adams (1987) and William Alston (1990). More recently Mark C. Murphy (2002) has argued that property-identical divine-command theory is inconsistent with two well-known and well-received theses: the free-command thesis and the supervenience (...) thesis. I show that Murphy's argument is vitiated by mistaken assumptions about the substitutivity of metaphysical identicals in contexts of supervenience. The free-command thesis and the supervenience thesis therefore pose no serious threat to PDCT. (Published Online August 11 2004). (shrink)

This co-edited volume compares Chinese and Western experiences of engineering, technology, and development. In doing so, it builds a bridge between the East and West and advances a dialogue in the philosophy of engineering. Divided into three parts, the book starts with studies on epistemological and ontological issues, with a special focus on engineering design, creativity, management, feasibility, and sustainability. Part II considers relationships between the history and philosophy of engineering, and includes a general argument for the necessity of dialogue (...) between history and philosophy. It continues with a general introduction to traditional Chinese attitudes toward engineering and technology, and philosophical case studies of the Chinese steel industry, railroads, and cybernetics in the Soviet Union. Part III focuses on engineering, ethics, and society, with chapters on engineering education and practice in China and the West. The book’s analyses of the interactions of science, engineering, ethics, politics, and policy in different societal contexts are of special interest. The volume as a whole marks a new stage in the emergence of the philosophy of engineering as a new regionalization of philosophy. This carefully edited interdisciplinary volume grew out of an international conference on the philosophy of engineering hosted by the University of the Chinese Academy of Sciences in Beijing. It includes 30 contributions by leading philosophers, social scientists, and engineers from Australia, China, Europe, and the United States. (shrink)